denotational theory

Translations
денотационная теория
The denotational theory provides a mathematical framework for understanding programming languages.
Денотационная теория предоставляет математическую основу для понимания языков программирования.